Free variables and bound variables

Results: 147



#Item
61Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-03-05 17:26:28
62Lexical Addresses Computing Lexical Addresses As we saw in the last lecture, the expression What creates a new frame?

Lexical Addresses Computing Lexical Addresses As we saw in the last lecture, the expression What creates a new frame?

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2009-02-04 16:35:18
63A Tabling Implementation Based on Variables with Multiple Bindings Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

A Tabling Implementation Based on Variables with Multiple Bindings Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2009-05-02 05:38:03
64Under consideration for publication in Math. Struct. in Comp. Science Transcendental syntax I: deterministic case Jean-Yves Girard Revised March 31, 2015

Under consideration for publication in Math. Struct. in Comp. Science Transcendental syntax I: deterministic case Jean-Yves Girard Revised March 31, 2015

Add to Reading List

Source URL: iml.univ-mrs.fr

Language: English - Date: 2015-04-07 01:47:10
65The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1))

The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1))

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2009-02-04 16:35:18
66A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that

A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2008-07-11 10:50:31
67The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang | matthias } @ ccs.neu.edu

The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang | matthias } @ ccs.neu.edu

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
68The Lambda Calculus A Brief Introduction Georg P. Loczewski A

The Lambda Calculus A Brief Introduction Georg P. Loczewski A

Add to Reading List

Source URL: www.aplusplus.net

Language: English - Date: 2004-12-20 07:35:21
69Non-local reflexive interpretations and the typology of anaphora Giorgos Spathas University of Stuttgart Work on Binding Theory (BT) in different frameworks (e.g, Reinhart and Reuland 1993, Pollard and Sag[removed]converge

Non-local reflexive interpretations and the typology of anaphora Giorgos Spathas University of Stuttgart Work on Binding Theory (BT) in different frameworks (e.g, Reinhart and Reuland 1993, Pollard and Sag[removed]converge

Add to Reading List

Source URL: nels45.mit.edu

Language: English - Date: 2014-10-28 01:13:50
70A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007

A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007

Add to Reading List

Source URL: www.dtc.umn.edu

Language: English - Date: 2012-08-16 12:29:03